package com.googlecode.bts_lambda;

/**
 * User: Timofey Bondarev
 * Date: 22.05.11
 * Time: 19:01
 */

public class Main {
    public static void main(String[] args) {
        String termStr = "  x a    ";
        LTerm term;
        term = LParser.parseLambdaVariable(termStr);
        System.out.println(term);
    }
}
